Remarks on the Equivalence Problem for Pl-sets
نویسنده
چکیده
The following problem arises in connection with checking the equivalence piecewise-linear (PL) sets. Consider two-variable polynomials with non-negative integer coe cients, and given two such polynomials, decide if they are equivalent to each other modulo the following equalities x = 2x + 1, y2 = 2y2 + y and y = x + y + 1. In this paper, we show that this problem can be solved in polynomials time in both the unit-cost and the logarithmic-cost model.
منابع مشابه
Remarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملRemarks on Modern Track Geometry Maintenance
A short survey on modern track maintenance methods is given, concentrating on the developments in recent years. The ongoing refinement of the machinery should be shown as the influence of IT-solutions. On top the economic view to the track infrastructure is briefly demonstrated. Further developments in track hardware solutions must respect the obtained high level of track work mechanization. H...
متن کاملRemarks on Piecewise-linear Algebra
Introduction* A function f: V —>W between real vector spaces is piecewise-linear (PL) if there exists a partition of V into "open polyhedra" X€ (i.e., relative interiors of polyhedra) such that / is affine on each Xt. (As distinct to the case of PL-topology, no continuity is required of /.) Images and preimages under PL-maps give rise to finite unions of open polyhedra, or PL-seίs; conversely P...
متن کاملSignature submanifolds for some equivalence problems
This article concerned on the study of signature submanifolds for curves under Lie group actions SE(2), SA(2) and for surfaces under SE(3). Signature submanifold is a regular submanifold which its coordinate components are differential invariants of an associated manifold under Lie group action, and therefore signature submanifold is a key for solving equivalence problems.
متن کاملA polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
This paper presents a polynomial-time algorithm for equivalence under certain semiring congruences. These congruences arise when studying the isomorphism of state spaces for a class of hybrid systems. The area of hybrid systems concerns issues of modeling, computation, and control for systems which combine discrete and continuous components. The subclass of piecewise linear (PL) systems provide...
متن کامل